Scope as Syntactic Abstraction

What is the logic of scope? By “scope”, I mean scopetaking in natural languages such as English, as illustrated by the sentence Ann saw everyone. In this example, the quantifier denoted by everyone takes scope over the rest of the sentence, that is, it takes the denotation of the rest of the sentence as its semantic argument: everyone(λx.saw(x)(ann)). The answer I will give here will be to provide a substructural logic whose two modes are related by a single structural postulate. This postulate can be interpreted as constituting a kind of lambda-abstraction over structures, where the abstracted structures are interpreted as delimited continuations. I discuss soundness and completeness results, as well as cut elimination. I also compare the logic to a number of alternative approaches, including the standard technique of Quantifier Raising, and mention applications to scope ambiguity and